Restriction for Semigroups and Categories First afternoon talk of Calgary workshop

نویسنده

  • Ernie Manes
چکیده

Restriction for Semigroups and Categories First afternoon talk of Calgary workshop Ernie Manes, June 2, 2006 This handout includes axiom systems useful for the talk, a very small set of definitions in category theory and a 12-step program to help semigroup theorists who have never studied category theory to get up to speed. The references at the end will be mentioned in the talk. Slogan: In the study of semigroups, it is sometimes useful to add some new objects to obtain a category associated with that semigroup. Tentative talk outline: 1. History of restriction in semigroups. 2. The unusual expressiveness of universal mapping properties. 3. Idempotents: monoids vs. categories. 4. The regular representation is the Yoneda embedding. 5. Boolean restriction.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

University of Calgary What Is a Differential Partial Combinatory Algebra? University of Calgary Faculty of Graduate Studies

In this thesis we combine Turing categories with Cartesian left additive restriction categories and again with differential restriction categories. The result of the first combination is a new structure which models nondeterministic computation. The result of the second combination is a structure which models the notion of linear resource consumption. We also study the structural background req...

متن کامل

Extending the Ehresmann-schein-nambooripad Theorem

We extend the ‘∨-premorphisms’ part of the Ehresmann-ScheinNambooripad Theorem to the case of two-sided restriction semigroups and inductive categories, following on from a result of Lawson (1991) for the ‘morphisms’ part. However, it is so-called ‘∧-premorphisms’ which have proved useful in recent years in the study of partial actions. We therefore obtain an Ehresmann-Schein-Nambooripad-type t...

متن کامل

Semigroups with inverse skeletons and Zappa-Sz$acute{rm e}$p products

The aim of this paper is to study semigroups possessing $E$-regular elements, where an element $a$ of a semigroup $S$ is {em $E$-regular} if $a$ has an inverse $a^circ$ such that $aa^circ,a^circ a$ lie in $ Esubseteq E(S)$. Where $S$ possesses `enough' (in a precisely defined way) $E$-regular elements, analogues of Green's lemmas and even of Green's theorem hold, where Green's relations ${mathc...

متن کامل

Mathematisches Forschungsinstitut Oberwolfach Mini-workshop: Wellposedness and Controllability of Evolution Equations

Fast control cost for heat-like semigroups: Lebeau-Robbiano strategy and Hautus test Luc Miller (joint work with Thomas Duykaerts) Since the seminal work of Russell and Weiss in [7], resolvent conditions for various notions of admissibility, observability and controllability, and for various notions of linear evolution equations have been studied intensively, sometimes under the name of infinit...

متن کامل

WORKSHOP REPORT Workshop on the Evaluation of Multimedia Retrieval

The evaluation of multimedia retrieval is a subject that has gained momentum in the last couple of years. CWI, the National Research Institute for Mathematics and Computer Science in the Netherlands, organised a workshop organised on the subject on 24 November 2004. The main aim of the workshop was to bring together researchers and practitioners in the field of multimedia retrieval to discuss t...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2006